We are using cookies This website uses cookies in order to offer you the most relevant information. By browsing this website, you accept these cookies.
En ciencias de la computación, un sistema de tipos define cómo un lenguaje de programación clasifica los valores y las expresiones en tipos, cómo se pueden manipular estos tipos y cómo interactúan.